<html>
<body>

<?php
	include "../php/replaceTex.php";
	replaceTex("subjectMandate.tex", "ooo");
	include "../php/toPdf.php";
	toPdf("newfile");
?>

</body>
</html>
